Your search returned 5 records. Click on the hyperlinks to view further details of Titles..
Magazine Name : Ieee Transactions On Software Engineering
Year : 2002Volume number : 28Issue:03
A Classification Of Noncircular Attribute Grammers Based On The Look-Ahead Behavior(Article) Subject:
Attribute Grammers
,
Non Circular Attribute Grammers
Author:
W
Yang
page:
210
-
227
Knowledge-Based Automation Of A Disign Method For Concurrent Systems(Article) Subject:
Automated Software Engineering
,
Knowledge Based Software Engineering
Author:
K. L.
Mills
H.
Gomaa
page:
228
-
255
An Authentication Logic With Formal Semantics Supporting Synchronization ,Revocation And Recency(Article) Subject:
Formal Methods
,
Protocols
Author:
S,G,
Stubblebine
N.T
Wright
page:
256
-
285
Models Of Parallel Applications With Large Computataion And I/O Requirments(Article) Subject:
Parallel Processing
,
Workload Characterization
Author:
E.
Rosti
Giuseppe
Serazzi
page:
286
-
307
Formal Methods Application: An Empirical Tale Of Software Development(Article) Subject:
Formal Methods
,
Software Specification
,
Software Engineering Curriculum
Author:
Sobel
A.E. Kelly
K. L
Clarkson
page:
308
-
320